This mathematically rigorous introductory textbook is a complete teaching tool for turning students into logic designers in one semester.[...]